.DEVICE XGP
.FONT 4 "BASB30"
.FONT 3 "BASI30"
.FONT 2 "BDR30"
.FONT 1 "BDR30"
.EVENLEFTBORDER←ODDLEFTBORDER←1000
.PAGE FRAME 52 HIGH 83 WIDE;
.AREA TEXT LINES 4 TO 50;
.TITLE AREA HEADING LINES 1 TO 3;
.PLACE TEXT;
.EVERY HEADING(,,{PAGE});
.BEGIN NOFILL
.VARIABLE CHW
.CHW ← CHARW
.TURN OFF "βα#\←∞↑↓∪"
.TURN ON "∂{%"
.TURN ON "/" FOR "α"
.AT "∂∂(" CH ")" ⊂ CHARW←CH}∂(2){CHARW←CHW ⊃


∂∂(48)%3same%2[%3x%2, %3y%2, %3u%2, %3v%2] ← 
∂∂(80)%4if%2 %4at %3x%2 ∧ %4at %3y%2 %4then%2 %3x%2 %4eq %3y%2 ∧ %3samefringe%2[%3u%2, %3v%2]
∂∂(80)%4else%2 %3same%2[%4if%2 %4at %3x%2 %4then%2 %3x%2 %4else%2 %4a %3x%2, 
∂∂(208)%4if%2 %4at %3y%2 %4then%2 %3y%2 %4else%2 %4a %3y%2, 
∂∂(208)%4if%2 %4at %3x%2 %4then%2 %3u%2 %4else%2 %4d %3x%2 . %3u%2, 
∂∂(208)%4if%2 %4at %3y%2 %4then%2 %3v%2 %4else%2 %4d %3y%2 . %3v%2]



∂∂(48)%3samefringe%2[%3x%2, %3y%2] ← [¬%4at %3x%2 ∧ ¬%4at %3y%2 ∧ %3same%2[%4a %3x%2, %4a %3y%2, %4d %3x%2, %4d %3y%2]] ∨ %3x%2 %4eq %3y

.END